Software Failure Avoidance Using Discrete Control Theory
نویسندگان
چکیده
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii
منابع مشابه
Determination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملSupervisory control of software execution for failure avoidance: Experience from the Gadara project
We discuss our experience in the Gadara project, whose objective is to control the execution of software to avoid potential failures using discrete-event control techniques. We summarize our accomplishments so far and discuss future challenges. After initial work on safety of workflow scripts via supervisory control techniques, we have focused our efforts on deadlock avoidance in multithreaded ...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملGadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous burdens on developers, entail high runtime performance overheads, or offer no help for unmodified legacy code. Gadara automates dynamic deadlock avoidance for conventional multithreaded programs. It employs whole-program...
متن کاملبررسی تأثیر شوک الکتریکی بر شرطیسازی گریز- اجتناب در ماهی قرمز
Introduction: The aim of this experimental study is to determine the effects of inescapable shock exposures on subsequent escape-avoidance conditioning learning by goldfish (Carassius Auratus). Learned helplessness is a psychological condition in which a human being or an animal has learned to believe that it is helpless in a particular situation, even when it has the power to change its unplea...
متن کامل